Reversible Logic

Definition / 定义

可逆逻辑：一种在理论上（或通过特定电路实现）使输出能够唯一确定输入的逻辑/电路设计思想；也就是说信息不被“丢失”，因此在低能耗计算、量子计算等领域很重要。（不同于常见的 AND/OR 等不可逆逻辑门。）

Pronunciation / 发音

/rɪˈvɜːrsəbəl ˈlɑːdʒɪk/

Examples / 例句

Reversible logic can recover the input from the output.
可逆逻辑可以从输出中还原输入。

Because reversible logic avoids information loss, it is often discussed in the context of energy-efficient and quantum computing.
由于可逆逻辑避免信息丢失，它常在节能计算与量子计算的语境中被讨论。

Etymology / 词源

reversible 来自拉丁语词根 *re-*（“向后/再次”）+ vertere（“转动、转向”），整体含义是“可以转回去的、可逆的”。logic 来自希腊语 logikos（“与推理、言说有关的”），与 logos（“言语、理性、论证”）相关。合起来 reversible logic 字面即“可逆的逻辑（推理/逻辑电路）”。

Related Words / 相关词

• Invertible
• Reversible
• Bijective
• Permutation
• Boolean
• Logic Gate
• Toffoli Gate
• Quantum Computing

Literary Works / 文学作品

• The Feynman Lectures on Computation（Richard P. Feynman；编者：Anthony J. G. Hey、Robin W. Allen）——讨论可逆计算与相关逻辑思想时会涉及 reversible logic。
• Quantum Computation and Quantum Information（Michael A. Nielsen, Isaac L. Chuang）——在量子电路与可逆门的背景下常提到 reversible logic。
• Reversible Computation（收录多篇经典论文/研究的专题文集，常与 Toffoli、Margolus、Bennett 等人的工作关联）——该领域的核心术语之一即 reversible logic。